Example: Suppose the types employee and
student have been previously declared:
type
   borrower = record
   case boolean of
     false: (EBorr: employee);
     true: (SBorr: student)
   end;
var
   someone: borrower;